Master of Science

thesisThis document describes an improved method of formal verification of complex analog/mixed-signal (AMS) circuits. Currently, in our LEMA tool, verification properties are encoded using labeled Petri net (LPN). These LPNs are generated manually, a tedious process that requires the user to have considerable familiarity with the tool. To eliminate this time-consuming process, our LEMA tool is extended to include a translator that converts properties written in a property specification language to LPNs. New methods are also implemented to separate the transient period from the stable output period, thus improving the generated model. Also, the current methodology generates the circuit models for the input values used during the simulation of the circuit. So, models generated for other control input values are not accurate. In this case, accuracy of the generated models is improved by using a linear abstraction method like interpolation

An Innovative Multiple Attribute Based Distributed Clustering with Sleep/Wake Scheduling Mechanism for WSN

Wireless sensor network is a dynamic field of networking and communication because of its increasing demand in critical Industrial and Robotics applications. Clustering is the technique mainly used in the WSN to deal with large load density for efficient energy conservation. Formation of number of duplicate clusters in the clustering algorithm decreases the throughput and network lifetime of WSN. To deal with this problem, advance distributive energy-efficient adaptive clustering protocol with sleep/wake scheduling algorithm (DEACP-S/W) for the selection of optimal cluster head is presented in this paper. The presented sleep/wake cluster head scheduling along with distributive adaptive clustering protocol helps in reducing the transmission delay by properly balancing of load among nodes. The performance of algorithm is evaluated on the basis of network lifetime, throughput, average residual energy, packet delivered to the base station (BS) and CH of nodes. The results are compared with standard LEACH and DEACP protocols and it is observed that the proposed protocol performs better than existing algorithms. Throughput is improved by 8.1% over LEACH and by 2.7% over DEACP. Average residual energy is increased by 6.4% over LEACH and by 4% over DEACP. Also, the network is operable for nearly 33% more rounds compared to these reference algorithms which ultimately results in increasing lifetime of the Wireless Sensor Network

Abstracts of National Conference on Research and Developments in Material Processing, Modelling and Characterization 2020

This book presents the abstracts of the papers presented to the Online National Conference on Research and Developments in Material Processing, Modelling and Characterization 2020 (RDMPMC-2020) held on 26th and 27th August 2020 organized by the Department of Metallurgical and Materials Science in Association with the Department of Production and Industrial Engineering, National Institute of Technology Jamshedpur, Jharkhand, India. Conference Title: National Conference on Research and Developments in Material Processing, Modelling and Characterization 2020Conference Acronym: RDMPMC-2020Conference Date: 26–27 August 2020Conference Location: Online (Virtual Mode)Conference Organizer: Department of Metallurgical and Materials Engineering, National Institute of Technology JamshedpurCo-organizer: Department of Production and Industrial Engineering, National Institute of Technology Jamshedpur, Jharkhand, IndiaConference Sponsor: TEQIP-